soundness of inference rules
推理规则的合法性
热门查询
- milker n. 乳牛；挤奶人；挤奶器
- circe n. 荷马史诗<<奥德赛>>中的女魔, 妖精似地引诱男子的女人
- sco abbr. single crossover (genes) 单一的交叉（基因）; subcarrier oscillator 副载波振荡器; sustainer cutoff 主运河
- grifter n. 骗子；小偷
- franz Ferdinand弗朗茨·斐迪南(Francis Ferdinand的德文名)
- Rasmussen 拉斯马森（人名）
- bulletproof adj. 防弹的
- swop n. 交换；以货易货 vt. 交换；替换
- walkout n. （美）罢工；退出会场；谈恋爱 adj. 有出口的
- aviator n. 飞行员
- radium n. [化学] 镭（88号元素符号Ra）
- coatrack n. 衣帽架
- tibial adj. 胫骨的
- daunting adj. 使人畏缩的；使人气馁的；令人怯步的
- Finlayson [人名] [苏格兰人姓氏] 芬利森取自父名，来源于Finlay,含义是“芬莱之子”(son of Finlay); [地名] [美国] 芬利森
- flaring n. [机] 扩口；舷缘外倾 adj. 燃烧的；发光的；引人注目的 v. 闪光；闪烁（flare的ing形式）
- grilled adj. 烤的；有格子的 v. 炙烤（grill的过去式和过去分词）
- jump n. 跳跃；暴涨；惊跳 vt. 跳跃；使跳跃；跳过；突升 vi. 跳跃；暴涨；猛增 n. (Jump)人名；(英)江普
- Lisbon n. 里斯本（葡萄牙首都）
- electorally adv. 从选举方面来讲（electoral的副词形式）
考试词汇表
- portable PROM programmer
- portable X-ray equipment
- portable aggregate plant
- portable alignment gauge
- portable code generation
- portable cropping shears
- portable document format
- portable dose rate meter
- portable dose-rate meter
- portable electric hammer
- portable electric tamper
- portable electrical tool
- portable electromyograph
- portable examining table
- portable executable file
- portable foam applicator
- portable hardness tester
- portable hot mix trailer
- portable lamp receptacle
- portable lighting dimmer
